$f$ o $g$  ($x$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$if can{-}apply($g$;$x$) then $f$(do{-}apply($g$;$x$)) else $g$($x$) fi